Antoine Miné
EMSOFT 2015: 15th International Conference on Embedded Software
Towards an Industrial Use of Sound Static Analysis for the Verification of Concurrent Embedded Avionics Software
Numerical Static Analysis of Interrupt-driven Programs via Sequentialization